Remove debug printks.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 11 Jul 2005 08:59:58 +0000 (08:59 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 11 Jul 2005 08:59:58 +0000 (08:59 +0000)
Sometimes they generate too much output on serial console.
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
xen/arch/x86/vmx.c

index d2b439306cc2c3f71c7363deef2994f118c773ea..d52ab0c8eb0ff1195b013c002b80e5f813f897f0 100644 (file)
@@ -1445,12 +1445,9 @@ asmlinkage void vmx_vmexit_handler(struct cpu_user_regs regs)
 
            if (idtv_info_field & 0x800) { /* valid error code */
                unsigned long error_code;
-               printk("VMX exit %x: %x/%lx\n",
-                       exit_reason, idtv_info_field, error_code);
                __vmread(VM_EXIT_INTR_ERROR_CODE, &error_code);
                __vmwrite(VM_ENTRY_EXCEPTION_ERROR_CODE, error_code);
-           } else
-               printk("VMX exit %x: %x\n", exit_reason, idtv_info_field);
+           } 
        }
         VMX_DBG_LOG(DBG_LEVEL_1, "idtv_info_field=%x", idtv_info_field);
     }